Tipo abstracto

Este artículo trata sobre tipos sin miembros directos; ver también Tipo de dato abstracto.

En ingeniería de software, un tipo abstracto es un tipo en un sistema de tipo nominativo que es declarado por el programador, y que tiene la propiedad de no contener miembros que no sean miembros de algún subtipo declarado. Según el paradigma de programación orientado a objetos, los tipos abstractos se implementan bajo nombres como clases base abstractas, interfaces, rasgos (en inglés, traits), mixins, sabores (en inglés, flavors) o roles.